Skip to content

CI: disable comments and labels - #28054

Merged
GeorgeSapkin merged 1 commit into
openwrt:masterfrom
GeorgeSapkin:ci-disable-formal-comments
Dec 11, 2025
Merged

CI: disable comments and labels#28054
GeorgeSapkin merged 1 commit into
openwrt:masterfrom
GeorgeSapkin:ci-disable-formal-comments

Conversation

@GeorgeSapkin

Copy link
Copy Markdown
Member

Disable posting formality check status comments and adding related labels while the security token is being figured out.

Fixes: 2c558a8 ("ci: label formality failures")
Fixes: 7658669 ("multi-arch-test-build: post formal summaries to PR")

Related:

cc: @BKPepe, @hnyman

Disable posting formality check status comments and adding related
labels while the security token is being figured out.

Link: openwrt#28011
Fixes: 2c558a8 ("ci: label formality failures")
Fixes: 7658669 ("multi-arch-test-build: post formal summaries to PR")
Signed-off-by: George Sapkin <george@sapk.in>
@GeorgeSapkin GeorgeSapkin changed the title ci: disable comments and labels CI: disable comments and labels Dec 10, 2025
@GeorgeSapkin
GeorgeSapkin merged commit 1f2d665 into openwrt:master Dec 11, 2025
11 of 12 checks passed
@GeorgeSapkin
GeorgeSapkin deleted the ci-disable-formal-comments branch December 11, 2025 13:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant